Software Engineering

Results: 57508



#Item
381Theoretical computer science / Algorithms / Formal methods / Software engineering / HindleyMilner type system / Lambda calculus / Type theory / Mathematics

The Development of the AQ20 Learning System and Initial Experiments Guido Cervone Liviu Panait Ryszard Michalski* Machine Learning and Inference Laboratory, George Mason University, Fairfax,

Add to Reading List

Source URL: cervone.psu.edu

Language: English - Date: 2015-11-18 09:12:46
382Software engineering / Computer programming / Computing / Type theory / Data types / Functional programming / Subroutines / Lambda calculus / Subtyping / Const / Unification / Type system

Uniqueness Typing Simplified Edsko de Vries1⋆ , Rinus Plasmeijer2 , and David M Abrahamson1 1 2 Trinity College Dublin, Ireland, {devriese,david}@cs.tcd.ie

Add to Reading List

Source URL: www.edsko.net

Language: English - Date: 2016-08-23 03:13:56
383Software development / Aspect-oriented software development / Software engineering / Programming paradigms / Edsger W. Dijkstra / Object-oriented programming / Separation of concerns / Symposium on Applied Computing / Aspect-oriented programming / Code reuse / Subject-oriented programming

Call for Papers Programming for Separation of Concerns (6th edition) http://www.dmi.unict.it/~tramonta/PSC10/

Add to Reading List

Source URL: www.dmi.unict.it

Language: English - Date: 2009-05-19 13:09:00
384Auction theory / Mathematics / Submodular set function / Competitive equilibrium / Theoretical computer science / Valuation / Gross substitutes / Software engineering / Pure / Combinatory logic

GROSS SUBSTITUTABILITY : AN ALGORITHMIC SURVEY RENATO PAES LEME∗ Abstract. The concept of gross substitute valuations was introduced by Kelso and Crawford as a sufficient conditions for the existence of Walrasian equil

Add to Reading List

Source URL: www.renatoppl.com

Language: English - Date: 2013-11-28 12:54:41
385Software engineering / Computing / Engineering / Software design / Systems engineering / Ontology / Software requirements / Data modeling / Domain engineering / Domain-specific language / Modeling language / Domain-specific modeling

TECHNISCHE UNIVERSITÄT MÜNCHEN FAKULTÄT FÜR INFORMATIK Software & Systems Engineering Prof. Dr. Dr. h.c. Manfred Broy SPES 2020 Deliverable D1.2.C-2

Add to Reading List

Source URL: spes2020.informatik.tu-muenchen.de

Language: English - Date: 2012-03-07 09:24:08
386Philosophy / Metaphysics / Software engineering / Causality / Philosophy of science / Distributed algorithms / Pattern matching / Distributed computing / Event monitoring / Software design pattern / Vector clock / Determinism

2013 IEEE 33rd International Conference on Distributed Computing Systems Towards an Efficient Online Causal-Event-Pattern-Matching Framework Sukanta Pramanik

Add to Reading List

Source URL: cs.uwaterloo.ca

Language: English - Date: 2014-03-03 13:51:30
387Technology / Engineering / Science and technology / Emerging technologies / Cyber-physical system / Internet of things / Ontology / ASME / MIT Engineering Systems Division / National Institute of Standards and Technology / Draft:Ram Duvuru Sriram

Toward Internet of Everything: The Role of Ontologies Ram D. Sriram Chief, Software and Systems Division Information Technology Laboratory National Institute of Standards and Technology, Gaithersburg, MD 20899, USA URL:

Add to Reading List

Source URL: www.ncgia.buffalo.edu

Language: English - Date: 2016-05-18 12:38:26
388Software engineering / Object-oriented programming / Computer programming / Software design patterns / Factory / Object-oriented design / Design Patterns / Delegation / State pattern / This / Iterator / Inheritance

Using Collaborations to Encapsulate Features? An Explorative Study Martin Kuhlemann, Norbert Siegmund Sven Apel

Add to Reading List

Source URL: www.infosun.fim.uni-passau.de

Language: English - Date: 2010-01-08 07:04:01
389Software engineering / Computer programming / Communication design / Logos / Programming language theory

using the logo These logos are available for digital use on light backgrounds: THE PRIMARY LOGO

Add to Reading List

Source URL: s3-eu-west-1.amazonaws.com

Language: English - Date: 2016-07-30 03:03:05
390Software engineering / Computer programming / Computing / Procedural programming languages / Conditional / Boolean data type / C / For loop / Statement / Switch statement / Logical connective / Subroutine

Computing Fundamentals Salvatore Filippone 2012–2013

Add to Reading List

Source URL: people.uniroma2.it

Language: English - Date: 2014-09-23 08:12:56
UPDATE